46 results
Distinguishing multicellular life on exoplanets by testing Earth as an exoplanet
-
- Journal:
- International Journal of Astrobiology / Volume 19 / Issue 6 / December 2020
- Published online by Cambridge University Press:
- 01 October 2020, pp. 492-499
-
- Article
-
- You have access
- HTML
- Export citation
Contributors
-
-
- Book:
- The Cambridge Dictionary of Christianity
- Published online:
- 05 August 2012
- Print publication:
- 20 September 2010, pp xi-xliv
-
- Chapter
- Export citation
Former Legal Advisers’ Letter on Accession to the Law of the Sea Convention
-
- Journal:
- American Journal of International Law / Volume 98 / Issue 2 / April 2004
- Published online by Cambridge University Press:
- 27 February 2017, pp. 307-308
- Print publication:
- April 2004
-
- Article
- Export citation
Experimental Investigation of Thin Film InGaAsP Coolers
-
- Journal:
- MRS Online Proceedings Library Archive / Volume 626 / 2000
- Published online by Cambridge University Press:
- 01 February 2011, Z14.4
- Print publication:
- 2000
-
- Article
- Export citation
Leon Henkin. Mathematical foundations for mathematics. The American mathematical monthly, vol. 78 (1971), pp. 463–487.
-
- Journal:
- The Journal of Symbolic Logic / Volume 39 / Issue 2 / June 1974
- Published online by Cambridge University Press:
- 12 March 2014, p. 333
- Print publication:
- June 1974
-
- Article
- Export citation
Ralph Kopperman. Model theory and its applications. Allyn and Bacon, Inc., Boston 1972, x + 333 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 4 / December 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 647-648
- Print publication:
- December 1973
-
- Article
- Export citation
Metamathematical problems
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 3 / September 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 500-516
- Print publication:
- September 1973
-
- Article
- Export citation
John Staples. A non-standard representation of Boolean algebras, and applications. The bulletin of the London Mathematical Society, vol. 1 (1969), pp. 315–320.
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, p. 337
- Print publication:
- June 1973
-
- Article
- Export citation
Gert H. Müller. Nicht-Standardmodelle der Zahlentheorie. Mathematische Zeitschrift, vol. 77 (1961), pp. 414–438.
-
- Journal:
- The Journal of Symbolic Logic / Volume 37 / Issue 2 / June 1972
- Published online by Cambridge University Press:
- 12 March 2014, pp. 405-406
- Print publication:
- June 1972
-
- Article
- Export citation
James Ax. On the undecidability of power series fields. Proceedings of the American Mathematical Society, vol. 16 (1965), p. 846.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 684
- Print publication:
- December 1971
-
- Article
- Export citation
K. L. de Bouvère. A mathematical characterization of explicit definability. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 66 (1963), pp. 264–274; also Indagationes mathematicae, vol. 25 (1963), pp. 264–274.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, p. 687
- Print publication:
- December 1971
-
- Article
- Export citation
James Ax and Simon Kochen. Diophantine problems over local fields I. American journal of mathematics, vol. 87 (1965), pp. 605–630. - James Ax and Simon Kochen. Diophantine problems over local fields II. A complete set of axioms for p-adic number theory. American journal of mathematics, vol. 87 (1965), pp. 631–648. - James Ax and Simon Kochen. Diophantine problems over local fields III. Decidable fields. Annals of mathematics, vol. 83 (1966), pp. 437–456.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 4 / December 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 683-684
- Print publication:
- December 1971
-
- Article
- Export citation
On the notion of algebraic closedness for noncommutative groups and fields
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 3 / September 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 441-444
- Print publication:
- September 1971
-
- Article
- Export citation
J. Heidema and A. P. J. van der Walt. Contributions to the metamathematical theory of ideals. I. Domains with dense kernel. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 70 (1967), pp. 156–162; also Indagationes mathematicae, vol. 29 (1967), pp. 156–162. - J. Heidema. Contributions to the metamathematical theory of ideals. II. Metamathematical prime ideals and radicals. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, vol. 71 (1968), pp. 280–285; also ibid., vol. 30 (1968), pp. 280–285.
-
- Journal:
- The Journal of Symbolic Logic / Volume 36 / Issue 1 / March 1971
- Published online by Cambridge University Press:
- 12 March 2014, pp. 158-159
- Print publication:
- March 1971
-
- Article
- Export citation
A. I. Mal′cév. Régularnyé proizvédéniá modéléj. Izvéstiá Akadémii Nauk SSSR, Sériá matématičéskaá, vol. 23 (1959), pp. 489–502. - A. I. Mal′cév. Regular products of models. English translation of the preceding by J. N. Whitney. American Mathematical Society translations, ser. 2 vol. 39 (1964), pp. 193–206.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 651-652
- Print publication:
- February 1970
-
- Article
- Export citation
Compactification of groups and rings and nonstandard analysis1
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 4 / February 1970
- Published online by Cambridge University Press:
- 12 March 2014, pp. 576-588
- Print publication:
- February 1970
-
- Article
- Export citation
P. M. Cohn. Universal algebra. Harper & Row, Publishers, New York, Evanston, and London, 1965, xv + 333 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 34 / Issue 1 / 29 May 1969
- Published online by Cambridge University Press:
- 12 March 2014, pp. 113-114
- Print publication:
- 29 May 1969
-
- Article
- Export citation
Andrzej Mostowski. Thirty years of foundational studies. Lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930–1964. Acta philosophica Fennica, no. 17, Helsinki 1965, and Barnes & Noble, Inc., New York1966, 180 pp.; second printing, Helsinki 1967, 180 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 33 / Issue 1 / 26 April 1968
- Published online by Cambridge University Press:
- 12 March 2014, pp. 111-112
- Print publication:
- 26 April 1968
-
- Article
- Export citation
Michael O. Rabin. Classes of models and sets of sentences with the intersection property. Actes du Colloque de Mathématiques réuni à Ciermont à l'occasion du Tricentenaire de la Mort de Biaise Pascal, 4–8 Juin 1962, Volume I, Introduction et logique mathématique, Annales de la Faculté des Sciences de l'Université de Ciermont, no. 7, Mathématiques, part 1, Imprimerie Louis–Jean, Gap 1962, pp. 39–53.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, p. 413
- Print publication:
- 09 October 1967
-
- Article
- Export citation
R. L. Vaught. Elementary classes closed under descending intersection. Proceedings of the American Mathematical Society, vol. 17 (1966), pp. 430–433.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 3 / 09 October 1967
- Published online by Cambridge University Press:
- 12 March 2014, pp. 413-414
- Print publication:
- 09 October 1967
-
- Article
- Export citation